| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| configure.info | Text File | 96 | 3KB | 2004-08-20 |
| configure.info-1 | Text File | 1,314 | 49KB | 2004-08-20 |
| configure.info-2 | Text File | 1,138 | 50KB | 2004-08-20 |
| configure.info-3 | Text File | 286 | 14KB | 2004-08-20 |
| standards.info | Text File | 4,897 | 182KB | 2004-08-20 |